.\"   $Id: destroyBdd.3,v 1.1 2002/04/03 13:13:26 ludo Exp $
.\" @(#)destroyBdd.2 7.01 92/08/22 ; Labo masi cao-vlsi; Author : Luc Burgun
.TH DESTROYBDD 3 "October 1, 1997" "ASIM/LIP6" "BDD functions"
.so man1/alc_origin.1
.SH NAME
\fBdestroyBdd\fP \- removes the BDDs system 
.SH SYNOPSIS
.nf
#include "logmmm.h"
void destroyBdd(level)
.fi
.SH PARAMETER
.TP 20
\fIlevel\fP
desallocate level
.SH DESCRIPTION
\fBdestroyBdd()\fP removes the BDDs system. This function can be called only after the \fBinitializeBdd()\fP function. if \fIlevel = 0\fP the nodes are saved and it's possible to go through the BDD for treatements that don't modify the BDD (simulation for example).
.SH EXAMPLE
.nf
#include "mutnnn.h"		/* mbk utilities */
#include "logmmm.h"

initializeBdd(MEDIUM_BDD);

/* application using BDD ... */

destroyBdd(1);
.fi
.SH SEE ALSO
.BR log (1),
.BR bdd (1),
.BR initializeBdd (3),
.BR gcNodeBdd (3),
.BR markAllBdd (3),
.BR numberNodeAllBdd (3),
.BR resetBdd (3).

.so man1/alc_bug_report.1

